Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
25

Loop checks for logic programs with functions

Année:
2001
Langue:
english
Fichier:
PDF, 163 KB
english, 2001
27

Enhancing global SLS-resolution with loop cutting and tabling mechanisms

Année:
2004
Langue:
english
Fichier:
PDF, 266 KB
english, 2004
28

SLT-Resolution for the Well-Founded Semantics

Année:
2002
Langue:
english
Fichier:
PDF, 339 KB
english, 2002